{"ast_node_type":"variable","tokens":[{"end":40,"kind":"keyword","start":0,"text":"let"}]}
            let mut conj_is_true = true;
        for conj in &self.conjunctions {
            for lit in &conj.literals {