Step 39
CleanupCompoundSingle
Hit counts breakdown based on test/examples/sctest13.cpp
Decision activity summaries based on test/examples/sctest13.cpp
CConjecture dump step 39; start counts: 1 354 ; inc counts: 396 379 ; iterators: Walk_iterator FlattenNode_iterator ; FAILED