HypergeometricEqualityLemma.new R1ToR1() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total7 of 70%0 of 0n/a222222
{...}40%n/a111111
evaluate(double)30%n/a111111