test-models/symres_reply_two_provides_unspecified/symres_reply_two_provides_unspecified.dzn:7:24: error: must specify a provides-port with reply on requires out-trigger: `r.o'
