liquid-fixpoint-0.8.0.2: .ghci

:set -isrc