[cvs-nhc98] patch applied (hat): Improve the low-level routine to find the result of an application

[Malcolm Wallace]

Thu Feb 14 02:48:43 PST 2002  malcolm
  * Improve the low-level routine to find the result of an application
  in hat-explore.  If there is no SAT following the application, then
  follow the parent pointer and look for a SAT after that, recursively.

    M ./src/hattools/utils.c -3 +8