{"ast_node_type":"function","tokens":[{"end":41,"kind":"keyword","start":0,"text":"fn"}]}
    fn evaluate_root_goal_for_proof_tree(
    // which is not yet uplifted. Once that's done, we should remove this.
        &self,