{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"assert!(self.final_revision.is_none());"}]}
                assert!(self.final_revision.is_none());
            kind: if self.encountered_overflow {
                inspect::GoalEvaluationKind::Overflow