IsNullValueDataflow isNullValueDataflow = getClassContext().getIsNullValueDataflow(getMethod());
ValueNumberDataflow valueNumberDataflow = getClassContext().getValueNumberDataflow(getMethod());
UnconditionalValueDerefDataflow unconditionalValueDerefDataflow = getClassContext()
.getUnconditionalValueDerefDataflow(getMethod());
ValueNumberFrame valueNumberFact = valueNumberDataflow.getFactAtLocation(produced);
IsNullValueFrame isNullFact = isNullValueDataflow.getFactAtLocation(produced);
ValueNumber value = valueNumberFact.getTopValue();
if (isNullFact.getTopValue().isDefinitelyNotNull()) {
return;
}
if (DEBUG) {
System.out.println("Produced: " + produced);