Statistics of PaReco: Patched Clones and Missed Patches among the Divergent Variants of a Software Family