accumulate termination warnings wo terminating
restore decreasing Int with contition vv >= 0
Merge pull request #88 from ucsd-progsys/termination1

Modifications in Termination