displays.treeDisplay("Tree-like term display"): {}
