Member predicate TypeTracker :: call
Holds if this is the starting point of type tracking when tracking a parameter into a call, but not out of it.
predicate
call
(
)