Eliminate check of tree correctness