let
insert_leaf =
"Insert leaf"