[refactor] use while statement insted of Iterator
[refactor] remove LocalVars field from ControlflowGraph
remove Iterator of HashSet
bugs fixing at ZNameNode..
fixed at confict of ssa