{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
        let mut unchanged_certainty = Some(Certainty::Yes);
        // If this loop did not result in any progress, what's our final certainty.
        for (source, goal, stalled_on) in mem::take(&mut self.nested_goals) {