Start on Dynamic SSA definitions.
Write down what is wanted.
Steps in more detail.
Introduce the "insertion point."
Pushing branches.