pub(crate) const ZERO_PRESERVED_FOREACH: QuantifierConstraint;