error: illegal action performed in model oracle_bug2
model: oracle_bug2
h.hello
r.move
r.arrived
r.return
r.transfer
<illegal>
