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