A few updates to ghc-modi checker