Step 12
SplitInstanceDeclarations
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 12; start counts: 1 1 ; inc counts: 23 0 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 12; start counts: 1 8 ; inc counts: 307 33 ; iterators: Walk_iterator OOStd::Sequence ; FAILED