{"ast_node_type":"variable","tokens":[{"end":51,"kind":"keyword","start":0,"text":"while"}]}
                while let Some(conj) = disj.pop() {
                disj.reverse();
                    match conj {