Refactor ssa transformer (Part2)

This pull request reimplements SSATransfomer.
New version of SSATransfomer fix some bugs in Old version's.