Predicate UndefinedGlobal::contains_unknown_import_star

predicate contains_unknown_import_star(Module m)