[cvs-nhc98] patch applied (hat): Fix final problem for hat-observe:

[Malcolm Wallace]

Thu Aug 16 07:11:06 PDT 2001  thorsten
  * 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.

    M ./src/hattools/hat-observe.c +1
    M ./src/hattools/observeutils.c -3 +8