test-models/wf_functionValueDiscarded/wf_functionValueDiscarded.dzn:20:7: error: call value discarded
test-models/wf_functionValueDiscarded/wf_functionValueDiscarded.dzn:23:28: error: call value discarded
