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

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