Finished SEG construction. What I end up doing is to collapse all nodes
within a single basic block.
Revert a change where def-use enqueue insert memo.

Also, A problem is detected that pruneMap cannot be keyed by Trace*
because one Trace* may be mapped to multiple prune site. Need to fix
that