Added an editor menu item to automatically substitute non-deterministic FSM actions for deterministic ones