test-models/wf_typeerror/wf_typeerror.dzn:25:5: error: interface expected, found: `enum E'
