error: illegal action performed in model compliance_provides_illegal5
model: compliance_provides_illegal5
h.hello
w.hello
w.world
w.return
<illegal>
