Debug cactusADM. Died in signal 9.
Cannot move on
Keep gen trace_

1. add print_pc
2. assert re-genereated trace
3. possible reason:
somehow it traps within a block...., why?
self loop?

Fight!
Timing!
why....

a -> b -> c -> c -> c -> c -> c -> c ...
a->b->c->b->c->b->c->b->c->b

Possibility:
1' trace gen die. or no response.
which ca

Trace: Path/Cycle with duplicate nodes
CFG: Graph with unique nodes

Need convert Trace to Graph