Member predicate TypeTracking :: TypeTracker :: start
Holds if this is the starting point of type tracking.
predicate
start
(
)