grap deriving instances from CoreUnfolding
add a flag to trust auto-genetared code
collect arguments ingoring ticks
moving Machine test in todo
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell