tweak random fsm generation