// continue;
}
if (DEBUG_DEREFS) {
System.out.println("On edge " + edge.formatAsString(false));
}
BasicBlock source = edge.getSource();
ValueNumberFrame vnaFact = vnaDataflow.getResultFact(source);
IsNullValueFrame invFact = invDataflow.getFactAtMidEdge(edge);