Step 5
CleanupCompoundMulti
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 5; start counts: 1 4 ; inc counts: 265 23 ; iterators: Walk_iterator OOStd::Sequence ; FAILED