Fix for Termination

Fix for a bug in termination analysis: 
The decreasing parameter in *NOW* checked to be non-negative.

Only 1 failing test: /benchmarks/text-0.11.2.3/Data/Text/Encoding.hs