Predicate super_instantiation
Import path
import semmle.python.objects.TObject
predicate super_instantiation(CallNode instantiation, ObjectInternal self, ClassObjectInternal startclass, PointsToContext context)
import semmle.python.objects.TObject
predicate super_instantiation(CallNode instantiation, ObjectInternal self, ClassObjectInternal startclass, PointsToContext context)