Member predicate DataFlow::TypeTracker::append

Gets the summary resulting from appending step to this type-tracking summary.