public void RedirectSuccessors()
{
V_0 = this.get_OriginalCFGConstruct().get_CFGSuccessors().GetEnumerator();
try
{
while (V_0.MoveNext())
{
V_1 = V_0.get_Current();
dummyVar0 = V_1.RemoveFromPredecessors(this.get_OriginalCFGConstruct());
V_1.AddToPredecessors(this);
this.AddToSuccessors(V_1);
V_2 = V_1.get_Parent() as LogicalConstructBase;
while (V_2 != null)
{
if (V_2.RemoveFromPredecessors(this.get_OriginalCFGConstruct()))
{
V_2.AddToPredecessors(this);
}
V_2 = V_2.get_Parent() as LogicalConstructBase;
}
}
}
finally
{
((IDisposable)V_0).Dispose();
}
return;
}
