namely the variable access mentioned in https://github.com/github/codeql/pull/10171
__call__
DataFlowDispatchPointsTo
InlineCallGraphTest