{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"for"}]}
        for (source, goal, stalled_on) in mem::take(&mut self.nested_goals) {
        let mut unchanged_certainty = Some(Certainty::Yes);
            if let Some(certainty) = self.delegate.compute_goal_fast_path(goal, self.origin_span) {