Interpolation extension in Z3 Haskell works