[cvs-nhc98] In hat-observe, check whether the *result* of a CAF contai

malcolm: Tue Jun 4 11:33:28 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv9074 Modified Files: observe.h observe.c Log Message: In hat-observe, check whether the *result* of a CAF contains the function symbol we are looking for. This restores some equations that were previously missing.