{"ast_node_type":"variable","tokens":[{"end":58,"kind":"keyword","start":0,"text":"let"}]}
        let idx = self.scc_to_annotation.push(annotation);
    fn annotate_scc(&mut self, scc: ConstraintSccIndex, annotation: RegionTracker) {
        assert!(idx == scc);