(test
 (name test_proof_checker))