WI #2014 Change Review

Author: mayanje

TypeCobol.Analysis/Graph/ControlFlowGraph.Dominator.cs

@@ -44,8 +44,7 @@ public Tuple<List<int>,BitSet[]> ComputeDominators()
                     if (n == this.RootBlock.Index)
                         continue;
                     BasicBlock<N, D> b = this.AllBlocks[n];
-                    if (b.PredecessorEdges == null)
-                        continue;
+                    System.Diagnostics.Debug.Assert(b.PredecessorEdges != null);
                     workSet.Full();
                     foreach (int r in b.PredecessorEdges)
                     {