* EFSM data on the left are filled in during the process of yacc/bison yyparse(). Data on the right are filled in during the process of classifying variable occurrences.
** The quadruples (oType, var, tLabel, oOrder) for parameter/variable occurrences in the components of a transition are all stored at the transition. See classifying variable occurrences for more information.
*** Each component in a transition also maintains one pointer for each of the quadruples (oType, var, tLabel, oOrder) for parameter/variable occurrences within the component. That is to avoid redundancy in data storing but still keeping the relationship between each component and its resultant quadruples.
**** After variable occurrences are classified, this variable list is destroyed to save memory.