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.