test-models/wf_deferInInterface/wf_deferInInterface.dzn:15:25: error: cannot use defer in an interface
