test-models/wf_otherwiseWithOtherwise/wf_otherwiseWithOtherwise.dzn:17:7: error: cannot use otherwise guard more than once
test-models/wf_otherwiseWithOtherwise/wf_otherwiseWithOtherwise.dzn:16:7: info: first otherwise here
