bench: adding basic FSM transformations