do not show ProofInfo element in the tree: show features directly