Simplify

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total3 of 862%0 of 0n/a121212
Simplify()30%n/a111111
newSimplifierFactory(SymbolicUniverseIF)5100%n/a010101