Member predicate TypeTracking :: TypeBackTracker :: getACompatibleTypeTracker
Gets a forwards summary that is compatible with this backwards summary.
That is, if this summary describes the steps needed to back-track a value
mid, and the result is a valid summary of the steps needed
to track a value from
mid, then the value from
also flow to