Optimizer creates array of reachable neds in FSM.  Need to add current if success