Predicate Base::live_import_from_dot_in_init

Holds if f is an import of the form from .[...] import name and the enclosing scope is an init module

predicate live_import_from_dot_in_init(ImportMemberNode f, EssaVariable var)