1. SSA should be done after finalizing the computation 2. Add phi node as a statement having the same execution schedule as the statement at the same level 3. Implement the SSA algorithm based on the CYTRON paper [ https://www.cs.utexas.edu/~pingali/CS380C/2010/papers/ssaCytron.pdf ]