{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"));"}]}
        ));
            term_search_time.time.as_millis() as u64 / acc.total_tail_exprs
        bar.println(format!("{:<20} {}", "Term search:", term_search_time));