test-models/wf_illegalInIf/wf_illegalInIf.dzn:15:25: error: cannot use illegal in if-statement
