{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"self.visit_proof_tree(goal,"}]}
            self.visit_proof_tree(goal, &mut visitor);
            let goal = obligation.as_goal();
        }