Checker for "morally correct" induction proofs about haskell programs