error: livelock in model RecurseComp
model: RecurseComp
api.Run
<loop>
check.Eval
check.true
action.DoIt
action.return
<livelock>
