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