Predicate MultipleImports::double_import

predicate double_import(Import original, Import duplicate, Module m)