private bool IsCaseValid(ISingleEntrySubGraph caseEntry, HashSet <ISingleEntrySubGraph> legalPredecessors)
        {
            V_0 = caseEntry.get_SameParentPredecessors().GetEnumerator();
            try
            {
                while (V_0.MoveNext())
                {
                    V_1 = (ILogicalConstruct)V_0.get_Current();
                    if (legalPredecessors.Contains(V_1))
                    {
                        continue;
                    }
                    V_2 = false;
                    goto Label1;
                }
                goto Label0;
            }
            finally
            {
                ((IDisposable)V_0).Dispose();
            }
Label1:
            return(V_2);

Label0:
            return(true);
        }
 public static ICollection <ISingleEntrySubGraph> GetTraversablePredecessors(ISingleEntrySubGraph construct)
 {
     stackVariable2 = new List <ISingleEntrySubGraph>(construct.get_SameParentPredecessors());
     stackVariable2.Sort();
     return(stackVariable2);
 }