Step 31

CleanupCompoundMulti

Pattern for step 31

Hit counts breakdown based on test/examples/sctest13.cpp

Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 31; start counts: 1 1 ; inc counts: 23 6 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 55 6 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 44 7 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 31 9 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 10 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 22 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 23 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 25 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 26 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 36 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 37 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 39 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 40 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 50 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 51 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 53 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 54 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 54 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 68 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 69 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 71 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 72 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 82 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 83 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 85 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 86 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 96 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 97 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 99 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 100 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 100 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 100 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 100 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 117 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 118 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 1 ; inc counts: 39 119 ; iterators: Walk_iterator OOStd::Sequence ; SUCCEEDED
CConjecture dump step 31; start counts: 1 2 ; inc counts: 506 123 ; iterators: Walk_iterator OOStd::Sequence ; FAILED