codeql/python/ql/test/experimental/library-tests/CallGraph/Relative.ql

import python

import CallGraphTest

query predicate pointsTo_found_typeTracker_notFound(Call call, Function callable) {
    annotatedCallEdge(_, call, callable) and
    any(PointsToResolver r).callEdge(call, callable) and
    not any(TypeTrackerResolver r).callEdge(call, callable)
}

query predicate pointsTo_notFound_typeTracker_found(Call call, Function callable) {
    annotatedCallEdge(_, call, callable) and
    not any(PointsToResolver r).callEdge(call, callable) and
    any(TypeTrackerResolver r).callEdge(call, callable)
}