test-models/symres_subint_single_value/symres_subint_single_value.dzn:6:5: error: type mismatch: expected `One', found: `<unknown type>'
