test-models/compliance_blocking_out/compliance_blocking_out.dzn:46:18: error: code will never be executed
error: component compliance_blocking_out is non-compliant with interface(s) of provides port(s)
model: compliance_blocking_out
h.hello
<non-compliance>
