pub(crate) const ONE_OR_MORE_NOT_PRES_FOREACH: QuantifierConstraint;