* add stats on FSM & transitions to e.g. count # uses