everything compiles
go back to install liquid-fixpoint in cabal