test-models/wf_shared_external/wf_shared_external.dzn:10:5: error: using shared variable `w.state' with external port `w'
