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