Predicate TypeTracking::ConsistencyChecks::unreachableNode
Holds if there is any node in a step relation that is unreachable from a
LocalSourceNode.
Import path
import codeql.typetracking.internal.TypeTrackingImplpredicate unreachableNode(Node n, string msg)