{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"Certainty::Proven"}]}
            Certainty::Proven => true,
        match self {
            Certainty::Ambiguous => false,