Member predicate DataFlow::TypeBackTracker::prepend

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