changed defaults are in PRs  ucsd-progsys/liquid-fixpoint#123 and ucsd-progsys/liquidhaskell#445
changed defaults are in PRs  ucsd-progsys/liquid-fixpoint#123 and
ucsd-progsys/liquidhaskell#445

gridaphobe/liquid-fixpoint