pub(crate) const ZERO_NOT_FOREACH: QuantifierConstraint;