Predicate Expressions::requireSubClass
Import path
import semmle.python.pointsto.PointsTopredicate requireSubClass(ObjectInternal sub, ObjectInternal sup)import semmle.python.pointsto.PointsTopredicate requireSubClass(ObjectInternal sub, ObjectInternal sup)