Create seal_tree.h