split chop in two steps
chopping
changing demo
Merge branch 'chop_token' of https://github.com/ucsd-progsys/liquidhaskell into chop_token
tiny edit