{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"roots_reachable_from_non_diverging,"}]}
            roots_reachable_from_non_diverging,
            "calculate_diverging_fallback: roots_reachable_from_non_diverging={:?}",
        );