Predicate UnusedImport::all_not_understood

Holds if a module has __all__ but we don’t understand it

predicate all_not_understood(Module m)