Update on docu. for statistics/0 based on more understanding of
subsumptive tabling. may need another update before I get it right.
----------------------------------------------------------------------
----------------------------------------------------------------------