Predicate checkedNull

Holds if var is likely to be null at node.

Import path

import cpp
predicate checkedNull(Variable var, ControlFlowNode node)