test-models/symres_subint_in_iface/symres_subint_in_iface.dzn:4:20: error: type mismatch: expected `I.Small', found: `<unknown type>'
test-models/symres_subint_in_iface/symres_subint_in_iface.dzn:3:3: info: event defined here
