For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
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)