Modifications in Termination

* Accumulate warnings instead of terminating with an error, when termination cannot be proved
* Restore decreasing measure for integers