Contains classes that define the transition system used by the analysis.