Introduce ProofTree compressor