liquidhaskell-0.7.0.0: liquid-fixpoint/.ghci

:set -isrc