:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs Reverse.length:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs a##aUKa GHC.Prim.TYPEGHC.Types.LiftedRep LIQUID$dummy[]a##aUKVV VV  GHC.Types.IntVV VV :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs Reverse.length[][]a##aUKVV VV :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs Reverse.length:[]a##aUKVV VV ds_d161a##aUKVV xs##aS1:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs []a##aUKVV VV Reverse.lengthxs##aS1:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs Reverse.++:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hsa##aUna GHC.Prim.TYPEGHC.Types.LiftedRepxs[]a##aUnVV VV ys[]a##aUnVV VV []a##aUnVV os  Reverse.lengthosReverse.lengthxsReverse.lengthysos Reverse.++xsysosis$GHC.Types.[]xsys GHC.Types.:lqdc##$select##GHC.Types.:##1xs Reverse.++lqdc##$select##GHC.Types.:##2xsysVV VV :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hsReverse.reverse:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hsa##aUra GHC.Prim.TYPEGHC.Types.LiftedRepis[]a##aUrVV VV []a##aUrVV os  Reverse.lengthisReverse.lengthososReverse.reverseisosis$GHC.Types.[]is GHC.Types.[] Reverse.++Reverse.reverselqdc##$select##GHC.Types.:##2is GHC.Types.:lqdc##$select##GHC.Types.:##1is GHC.Types.[]VV :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs Reverse.++:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hsa##aUna GHC.Prim.TYPEGHC.Types.LiftedRepxs[]a##aUnVV VV ys[]a##aUnVV VV []a##aUnVV os  Reverse.lengthosReverse.lengthxsReverse.lengthysos Reverse.++xsysosis$GHC.Types.[]xsys GHC.Types.:lqdc##$select##GHC.Types.:##1xs Reverse.++lqdc##$select##GHC.Types.:##2xsysVV VV :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hsReverse.reverse:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hsa##aUra GHC.Prim.TYPEGHC.Types.LiftedRepis[]a##aUrVV VV []a##aUrVV os  Reverse.lengthisReverse.lengthososReverse.reverseisosis$GHC.Types.[]is GHC.Types.[] Reverse.++Reverse.reverselqdc##$select##GHC.Types.:##2is GHC.Types.:lqdc##$select##GHC.Types.:##1is GHC.Types.[]VV š/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-10.0/8.2.2/share/x86_64-osx-ghc-8.2.2/liquidhaskell-0.8.2.4/include/GHC/Base.spec š/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-10.0/8.2.2/share/x86_64-osx-ghc-8.2.2/liquidhaskell-0.8.2.4/include/GHC/Base.spec a##xo[]a##xoVV vlenv:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs Reverse.length:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs []a##xoVV VV lengthVVGHC.List.lengthš/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-10.0/8.2.2/share/x86_64-osx-ghc-8.2.2/liquidhaskell-0.8.2.4/include/GHC/List.spec š/Users/niki/liquidtypes/liquidhaskell/.stack-work/install/x86_64-osx/lts-10.0/8.2.2/share/x86_64-osx-ghc-8.2.2/liquidhaskell-0.8.2.4/include/GHC/List.spec []a##xoVV VV  GHC.Types.[]a##11 GHC.Types.[] GHC.Types.:lqdc##$select##GHC.Types.:##1a##11VV lqdc##$select##GHC.Types.:##2[]a##11VV VV :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs++:/Users/niki/tmp/test/proof-combinators/examples/Reverse.hs :/Users/niki/tmp/test/proof-combinators/examples/Reverse.hsreverse Reverse.++ds_d15H Fixpoint.Types.dummyLocFixpoint.Types.dummyLoc[]a##aUnys##aTx Fixpoint.Types.dummyLocFixpoint.Types.dummyLoc[]a##aUnis$GHC.Types.[]ds_d15Hys##aTx GHC.Types.:lqdc##$select##GHC.Types.:##1ds_d15H Reverse.++lqdc##$select##GHC.Types.:##2ds_d15Hys##aTx Fixpoint.Types.dummyLocFixpoint.Types.dummyLoc[]a##aUnReverse.reverseds_d15N Fixpoint.Types.dummyLocFixpoint.Types.dummyLoc[]a##aUris$GHC.Types.[]ds_d15N GHC.Types.[] Reverse.++Reverse.reverselqdc##$select##GHC.Types.:##2ds_d15N GHC.Types.:lqdc##$select##GHC.Types.:##1ds_d15N GHC.Types.[] Fixpoint.Types.dummyLocFixpoint.Types.dummyLoc[]a##aUr