Member predicate FlowSteps::PathSummary::appendValuePreserving

Gets the summary for the path obtained by appending that to this, where that must be a path mapping data to data (in other words, it must be a value-preserving path).

PathSummary appendValuePreserving(PathSummary that)