{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//!"}]}
//! For each node in a control-flow graph, determines whether that node should
//! have a physical counter, or a counter expression that is derived from the