Predicate Cyclic::circular_import

Is there a circular import of ‘m1’ beginning with ‘m2’?

predicate circular_import(PythonModuleObject m1, PythonModuleObject m2)