pub(crate) const ZERO_NOT_SUBQUERY: QuantifierConstraint;