This is a little subjective, but I think this should be written as an `@property`, since its value won't change between calls unless the treebuilder is modified.