FSG_BEGIN <test.nestedRightRecursion>
NUM_STATES 2
START_STATE 0
FINAL_STATE 1
TRANSITION 0 1 1.000000 something
TRANSITION 0 1 1.000000 another
FSG_END