private HashSet <ILogicalConstruct> GetBlockBody(DominatorTree dominatorTree, ILogicalConstruct conditionSuccessor, ConditionLogicalConstruct theCondition) { if (conditionSuccessor == dominatorTree.get_RootConstruct()) { return(null); } V_0 = null; if (conditionSuccessor.get_AllPredecessors().get_Count() == 1) { V_0 = new HashSet <ILogicalConstruct>(); V_1 = dominatorTree.GetDominatedNodes(conditionSuccessor).GetEnumerator(); try { while (V_1.MoveNext()) { V_2 = (ILogicalConstruct)V_1.get_Current(); if (V_2 != theCondition) { dummyVar0 = V_0.Add(V_2); } else { V_3 = null; goto Label1; } } goto Label0; } finally { ((IDisposable)V_1).Dispose(); } Label1: return(V_3); } Label0: return(V_0); }