Step 79

CleanupDuplicateLabels

Pattern for step 79

Hit counts breakdown based on test/examples/sctest13.cpp

Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 79; start counts: 1 1 18 ; inc counts: 602 459 71 ; iterators: Walk_iterator Walk_iterator OOStd::Sequence ; FAILED