Symbol: integer_constraints