BigProduction TransitionGraph generation!