rewrite to check simple fsm properties
alias deadlock to terminal
docs
1.0.0