pub(crate) const MAX_VALUES_PER_PATH: usize = 1000;
Hard cap on the number of values a single points-to path may materialize.