test-models/wf_fnCallInIfaceGuard/wf_fnCallInIfaceGuard.dzn:11:6: error: call to function `can_proceed' not allowed here
