Removed ConstraintAndResult by IntValue