PropertyVerifier.new Statement() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total7 of 4885%0 of 0n/a0331603
evaluate()43088%n/a0111101
lambda$evaluate$0(Statement)3240%n/a012401
{...}9100%n/a010101