Proof Distillation Tester