CodeQL library for Python
codeql/python-all 0.12.1 (changelog, source)

Member predicate Scope::precedes

Holds if this scope can be expected to execute before other. Modules precede functions and methods in those modules __init__ precedes other methods. __enter__ precedes __exit__. NOTE that this is context-insensitive, so a module “precedes” a function in that module, even if that function is called from the module scope.

predicate precedes(Scope other)