Member predicate PathSummary::append

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.