[B tree] define functional insertion