try { analysis.initEntryFact(result); } catch (DataflowAnalysisException e) { analysis.makeFactTop(result);
analysis.initEntryFact(start); if (debug) { debug(block, "Init entry fact ==> " + analysis.factToString(start) + "\n");
try { analysis.initEntryFact(result); } catch (DataflowAnalysisException e) { analysis.makeFactTop(result);
analysis.initEntryFact(start); if (DEBUG) { debug(block, "Init entry fact ==> " + analysis.factToString(start) + "\n");