Termination

Use flag --termination-check to check termination. 
See https://github.com/ucsd-progsys/liquidhaskell/tree/termination#termination-check