test-models/wf_otherwiseWithNonGuard/wf_otherwiseWithNonGuard.dzn:15:5: error: cannot use otherwise guard with non-guard statements
test-models/wf_otherwiseWithNonGuard/wf_otherwiseWithNonGuard.dzn:16:5: info: non-guard statement here
