{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
                    let (head, tail) = witnesses.split_at(LIMIT);
                _ => {
                    let head: Vec<_> = head.iter().map(<_>::to_string).collect();