State Transition Graph Size