{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"StatementKind::ConstEvalCounter,"}]}
        StatementKind::ConstEvalCounter,
        basic_block_data.terminator().source_info,
    ));