FSG_BEGIN <test.nestedRightRecursion>
NUM_STATES 6
START_STATE 0
FINAL_STATE 1
TRANSITION 0 5 0.500041 something
TRANSITION 0 2 0.500041 
TRANSITION 2 4 0.500041 another
TRANSITION 2 0 0.500041 
TRANSITION 3 1 1.000000 
TRANSITION 4 3 1.000000 
TRANSITION 5 1 1.000000 
FSG_END