Holds if this callable calls target
using a this(...)
constructor call.
predicate
callsThis
(
Constructor
target
)