test-models/wf_actionValueDiscarded/wf_actionValueDiscarded.dzn:32:24: error: action value discarded
test-models/wf_actionValueDiscarded/wf_actionValueDiscarded.dzn:33:8: error: event `deactivate' not defined for port `start'
test-models/wf_actionValueDiscarded/wf_actionValueDiscarded.dzn:29:3: info: port `start' defined here
test-models/wf_actionValueDiscarded/wf_actionValueDiscarded.dzn:33:39: error: action value discarded
