Predicate checkedValid

Holds if var is likely to be non-null at node.

Import path

import cpp
predicate checkedValid(Variable var, ControlFlowNode node)