{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"(constraint_sccs,"}]}
        (constraint_sccs, scc_annotations.scc_to_annotation)
        debug!("No constraints rewritten!");
    };