Move refinement application to liquidHaskell