added more tests to ProofTree.