accumulate termination warnings wo terminating
restore decreasing Int with contition vv >= 0
Merge branch 'termination1' of github.com:ucsd-progsys/liquidhaskell
Merge pull request #88 from ucsd-progsys/termination1

Modifications in Termination
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell