Predicate Nullness::checkedNull

Holds if var is likely to be null at node.

predicate checkedNull(Variable var, ControlFlowNode node)