Step 32

CleanupCompoundSingle

Pattern for step 32

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

Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 32; start counts: 1 464 ; inc counts: 506 489 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED