Predicate Types::improperSubclass
Import path
import semmle.python.pointsto.PointsTo
boolean improperSubclass(ObjectInternal sub, ObjectInternal sup)
import semmle.python.pointsto.PointsTo
boolean improperSubclass(ObjectInternal sub, ObjectInternal sup)