{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"CfgExpr::Not(expr)"}]}
        CfgExpr::Not(expr) => make_nnf(expr),
        // Remove double negation.
        // Convert negated conjunction/disjunction using DeMorgan's Law.