liquid-fixpoint-8.10.7: .ghci

:set -isrc