Member predicate ConstructorCall :: callsSuper
Holds if this constructor call is an explicit call to super(...)
.
predicate
callsSuper
(
)