Module TypeTracking::ConsistencyChecks

Provides consistency checks for the type-tracker step relations.

Import path

import codeql.typetracking.internal.TypeTrackingImpl

nonSourceStoreTarget	Holds if there is a store target that isn’t a `LocalSourceNode` and backtracking store target feature isn’t enabled.
unreachableNode	Holds if there is any node in a step relation that is unreachable from a `LocalSourceNode`.

ConsistencyChecksInput