{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"prefix.clear();"}]}
        prefix.clear();
        // all the progress of tree climbing
        resulting_element = initial_element.clone();