FIXED: Add comments around the creation of PHI instructions.
TODO: Implement output of PHI to llvm ir.