add example showing why we cannot simply extract the witness from TerminatesWith to get a trivial eval
darcs-hash:
20071028222407-5007d-
35f02a37ae798d87d4dc41385d07f6a687c1b2d3.gz
change Terminates to (exists x, TerminatesWith x) and improve notation
darcs-hash:
20071028221603-5007d-
09c59f3bc826b721b3708b92c9291b498b6306de.gz