test-models/symres_enum_in_arith/symres_enum_in_arith.dzn:6:17: error: <int> expression expected
