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