Class AlwaysTrueConstraintEvaluator