JTRs are now matching the OldWiSARTeam. Implemented modelChecking with
the simulator.