test-models/symres_subint_aliasing/symres_subint_aliasing.dzn:5:20: error: type mismatch: expected `A', found: `<unknown type>'
test-models/symres_subint_aliasing/symres_subint_aliasing.dzn:4:3: info: event defined here
test-models/symres_subint_aliasing/symres_subint_aliasing.dzn:10:5: error: type mismatch: expected `B', found: `<unknown type>'
test-models/symres_subint_aliasing/symres_subint_aliasing.dzn:11:15: error: type mismatch: expected `A', found: `<unknown type>'
test-models/symres_subint_aliasing/symres_subint_aliasing.dzn:4:3: info: event defined here
