Predicate PointsTo::PointsTo::Types::is_improper_subclass_bool

boolean is_improper_subclass_bool(ClassObject cls, ClassObject sup)