:load expl/Examples.hs
:set +accum
:set +simplify
:generalise odD
:test odD on "odD (S (S (S (S (S (S Z))))))"
:test odD on "odD (S (S (S (S (S (S (S Z)))))))"
:quit
