test-models/wf_shared_injected/wf_shared_injected.dzn:11:5: error: using shared variable `w.state' with injected port `w'
