test/all/compliance_livelock/compliance_livelock.dzn:49:3: error: non-compliance
<non-compliance>
