{"ast_node_type":"variable","tokens":[{"end":34,"kind":"keyword","start":0,"text":"let"}]}
        let expr = make_nnf(expr);
    fn lower(mut self, expr: &CfgExpr) -> DnfExpr {
        let expr = make_dnf(expr);