let insert_leaf = "Insert leaf"