This commit contains major modifications that run a transition based
version of the simulator.