FSM Generator points to the correct path