allow filtering the ProofProcess tree (proofs only)