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