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

[Zoltan Somogyi]

Fergus wrote:
> >  	io__write_string("\t--termination-norm {simple, total, num-data-elems}
       \n"),
> >  	io__write_string("\t\tThe norm defines how termination analysis measur
       es the size\n"),
> >  	io__write_string("\t\tof a memory cell. The simple norm says that size
        is always one.\n"),
> > @@ -1538,6 +1550,12 @@
> >  	io__write_string("\t\tThe num-data-elems norm says that it is the numb
       er of words in\n"),
> >  	io__write_string("\t\tthe cell that contain something other than point
       ers to cells of\n"),
> >  	io__write_string("\t\tthe same type.\n"),
> 
> What about the total norm?

That was documented on the line obscured by the @@. Duh.

All other suggestions adopted.

Zoltan.