traceShow restored to Fixpoint's Misc
traceShow restored to Fixpoint's Misc

abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell