Specification_tree