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