Step 70
LoopRotation
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 70; start counts: 1 1 ; inc counts: 558 3 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer ; FAILED