Refine to generate more complete SSA graph.

SSABB.png is an example.