model: compliance_provides_illegal4
h.hello
w.cruel
w.world
w.return
<illegal>
