add subtree_at_path procedure