Debugged FP FSM. Changes not propagated to reference code. WIP

First test case fragment: all paths leading to accept state.
(reject states and in-state loops are short-circuits we don't want
to have affect the benchmarking)