Step 15
GenerateStacks
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 15; start counts: 1 12 2 ; inc counts: 310 12 245 ; iterators: Walk_iterator OOStd::SimpleAssociativeContainer Walk_iterator ; FAILED