test-models/symres_on_nested/symres_on_nested.dzn:4:26: error: nested on used
test-models/symres_on_nested/symres_on_nested.dzn:4:14: info: within on here
