pretty printer bugs

I have tried to use the pretty printer and:
1) It does not always seem to go back to read the file.

I tried
pretty_print(search_heuristics,html)
and got the following messages
WARNING: Obsolete directive in file
//P/AirPlanner/Code/Retimer/search_heuristics.ecl, line 54:
:- tool(keyed_sort / 4).
calling an undefined procedure sepia_kernel :
tr_match(filter_slack(both, _65827)?-true, TransTerm) in module
search_heuristics

Then I went to the file - removed the directive and running the same
query got the same result.

In a separate eclipse with the edited file I get
?- pretty_print(search_heuristic, html).
No (0.04s cpu)

2) It seems to have a problem with matching clauses, maybe the source
processor doesn't handle them? (see above error message)

3) From the doc it was quite difficult to figure out how to use the
coverage tool.

I have attached the file search_heuristics with the directive removed.

2nd Floor The Tower Building	EMAIL:
Stefano.Novello@parc-technologies.com
11 York Road                      TEL: +44 20 72614017
SE1 7NX LONDON                    FAX: +44 20 72614001

This e-mail message is for the sole use of the intended recipient(s) -
its contents are the property of Parc Technologies Limited (or its
licensors) and are confidential. Please do not copy, review, use (except
for the intended purposes), disclose or distribute the e-mail or its
contents or allow anyone else to do so without our prior permission. 
Parc Technologies Limited does not guarantee that this e-mail has not
been intercepted and amended nor that it is virus-free. You should carry
out your own virus checks before opening any attachment. Any opinions
expressed in this e-mail message are those of the author and not
necessarily Parc Technologies Limited.
Limited.