Member predicate 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).