Predicate Make::Internal::joinStepNotNull
Holds if data can flow from n1 to n2 in one step, n1 is not necessarily
functionally determined by n2, and n1 might take a non-null value.
Import path
import codeql.typeflow.UniversalFlowpredicate joinStepNotNull(FlowNode n1, FlowNode n2)