Find which definitions are buggy in a Haskell program given a desired input/output pair