Fixed FSM in order to be recognized by Synplify for optimizations.