Predicate Nullness::nullInit

Holds if the evaluation of n may have the effect of, directly or indirectly, assigning a null literal to var.

predicate nullInit(Variable v, ControlFlowNode n)