new ProofTree built while push_out elements