liquid-fixpoint-0.8.10.7: .ghci

:set -isrc