Predicate SsaSource::init_module_submodule_defn
Holds if the name of var refers to a submodule of a package and f is the entry point
to the init module of that package.
Import path
import semmle.python.essa.SsaDefinitionspredicate init_module_submodule_defn(SsaSourceVariable var, ControlFlowNode f)