Refactor out functions
Refactor out functions

serialiseSpec, processInputSpec, liquidHaskellCheckWithConfig

DNC

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell