error: illegal action performed in model compliance_provides_illegal4
model: compliance_provides_illegal4
h.cruel
w.cruel
w.world
w.return
<illegal>
