For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
Gets the summary for the path obtained by appending that to this.
Note that a path containing a return step cannot be appended to a path containing
a call step in order to maintain well-formedness.
PathSummary append(PathSummary that)