{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"GenerateProofTree::Yes"}]}
            GenerateProofTree::Yes => ProofTreeBuilder::new_root(),
            GenerateProofTree::No => ProofTreeBuilder::new_noop(),
        }