gen-fsm testing utils