Step 43
CleanupIneffectualLabels
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 43; start counts: 1 1 2 ; inc counts: 396 338 66 ; iterators: Walk_iterator Walk_iterator OOStd::Sequence ; FAILED