Added printProofTree method