analysis.makeFactTop(result); analysis.makeFactTop(result);
analysis.makeFactTop(start); analysis.initEntryFact(start); if (debug) { analysis.makeFactTop(start); predEdgeIter = logicalPredecessorEdgeIterator(block); while (predEdgeIter.hasNext()) {
analysis.makeFactTop(result); analysis.makeFactTop(result);
analysis.makeFactTop(start); analysis.initEntryFact(start); if (DEBUG) { analysis.makeFactTop(start); predEdgeIter = logicalPredecessorEdgeIterator(block); while (predEdgeIter.hasNext()) {