Predicate PointsTo::PointsTo::Types::get_an_improper_super_type

INTERNAL – Use ClassObject.getAnImproperSuperType() instead.

ClassObject get_an_improper_super_type(ClassObject cls)