This is a constructor, so it should be named `NewTreeBuilderFromTree()`