[cvs-nhc98] Fix final problem for hat-observe:

[Thorsten Brehm]

thorsten: Thu Aug 16 16:11:06 CEST 2001

Update of /usr/src/master/nhc/src/tracer/hat
In directory hinken:/tmp/cvs-serv14420

Modified Files:
	hat-observe.c observe.c 
Log Message:
Fix final problem for hat-observe:

  applications may indeed reference name nodes, which are somewhere
  forward in the Redex Trail file, as SAT nodes may point forward.

So, the argumentation saying "it's enough to make a linear scan
through a file" to find all concerning application nodes is finally
disproved.

New solution implemented:
- use same approach as before, as long as function references point 
  backwards (fortunately almost always the case)
- if the function reference of an application eventually references a
  forward node (very rare case), then follow the entire reference to
  find out, whether it's an application of interest or not.