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