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