Fix so partial functions can be run through --isabelle-mode