Fix ValueConstraintTest