liquid-fixpoint-0.7.0.3: .ghci

:set -isrc