verify: IApi: check: deadlock: ok
verify: IApi: check: unreachable: ok
verify: IApi: check: livelock: ok
verify: IApi: check: deterministic: ok
verify: ICheck: check: deadlock: ok
verify: ICheck: check: unreachable: ok
verify: ICheck: check: livelock: ok
verify: ICheck: check: deterministic: ok
verify: IAction: check: deadlock: ok
verify: IAction: check: unreachable: ok
verify: IAction: check: livelock: ok
verify: IAction: check: deterministic: ok
verify: RecurseComp: check: deterministic: ok
verify: RecurseComp: check: illegal: ok
verify: RecurseComp: check: deadlock: ok
verify: RecurseComp: check: unreachable: ok
verify: RecurseComp: check: livelock: fail
error: livelock in model RecurseComp
model: RecurseComp
api.Run
<loop>
check.Eval
check.true
action.DoIt
action.return
<livelock>
verify: RecurseComp: check: compliance: ok
