public void AdjustSsa(Statement stm, CallInstruction call) { ssa.ReplaceDefinitions(stm, null); ssa.RemoveUses(stm); ssa.AddDefinitions(stm); ssa.AddUses(stm); DefineUninitializedIdentifiers(stm, call); }