test-models/symres_on_dup_trigger/symres_on_dup_trigger.dzn:2:50: error: duplicate trigger `p.e' in on
test-models/symres_on_dup_trigger/symres_on_dup_trigger.dzn:2:43: info: previous `p.e' trigger here
