Predicate PointsToContext::executes_in_runtime_context

Holds if this scope can be executed in the default context. All modules and classes executed at import time and all “public” functions and methods, including those invoked by the VM.

predicate executes_in_runtime_context(Function f)