Converts a control flow graph into static single assignment (SSA) form. In SSA form, each variable in the method has a number associated with it. Each target of an assignment statement is assigned a new number. Subsequent uses of that variable are assigned the same number. Thus, we have a compact form of definition-use information. Many of the optimiations we do take advantage of SSA form.