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