CodeCoverage: Fix previous commit missing lines

add only first (duplicate) occurence
do not break on finalSP, else will miss Contract.Ensures lines