if (!inv.isDefinitelyNotNull()) {
if (inv == null || !inv.isDefinitelyNotNull()) {
	private UnconditionalValueDerefSet clearDerefsOnNonNullBranch(			UnconditionalValueDerefSet fact, Edge edge) {				IsNullValueFrame invFrame = invDataflow.getResultFact(edge.getSource());		if (!invFrame.isValid()) {			return fact;		}		IsNullConditionDecision decision = invFrame.getDecision();		if (decision == null) {			return fact;		}				IsNullValue inv = decision.getDecision(edge.getType());		if (!inv.isDefinitelyNotNull()) {			return fact;		}		ValueNumber value = decision.getValue();				fact = duplicateFact(fact);		fact.clearDerefSet(value);				return fact;	}