Step 24

SwitchToIfGoto

Pattern for step 24

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

Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 24; start counts: 1 1 ; inc counts: 429 6 ; iterators: Walk_iterator Walk_iterator ; FAILED