{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"&constraints.graph(definitions.len()).region_graph(constraints,"}]}
                &constraints.graph(definitions.len()).region_graph(constraints, fr_static),
            ConstraintSccs::new_with_annotation(
                annotations,