Simplify the TerminationType unit tests by using the InstrStatistics() method in ProgramLocation to access the underlying InstructionStatistic
Simplify the TerminationType unit tests by using the InstrStatistics()
method in ProgramLocation to access the underlying InstructionStatistic

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix