PPATH : MTREEOPPPATH is a matingstree command.
Print out the path containing the given obligation.
If no obligation is specified, then the first open obligation
in the current obligation tree is used. See the flag
The command format for PPATH is:
TPS documentation homepage