Predicate signature nonStandardFlowsTo
Holds if a non-standard flowsTo predicate is needed, i.e., one that is not
simply simpleLocalSmallStep*(localSource, dst).
Import path
import codeql.typetracking.TypeTrackingsignature predicate nonStandardFlowsTo(LocalSourceNode localSource, Node dst)