test-models/symres_var_same_as_enum_type/symres_var_same_as_enum_type.dzn:6:11: error: type mismatch: expected enum, found: `C.E'
