SSA is a handy transform.

https://en.wikipedia.org/wiki/Static_single-assignment_form