[m-dev.] for review: rewrite of termination analysis (part 2)

[Thomas Charles CONWAY]

Zoltan Somogyi, you write:
> 
> 
> Tom, please review this.
> 
> Zoltan.
> 

This looks fine.

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			   Nail here [] for new monitor.