class AndConstraint