aarvid/prove-fail

test code for a bug in fukamachi's prove

Common Lisp