test prover on exercise 2.1

Prof. Genesereth is adamant that the answers accepted as correct in
https://class.coursera.org/ggp-001/quiz/start?quiz_id=27 are in fact
the correct answers, so whatever bug in the ProverStateMachine that
makes these threee tests fail should be fixed.