Allow spaces to be escaped with a \ in ghc-modi
Make case split output easier to parse