{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//!"}]}
//! acyclic CFGs, but still turned out to be far too costly to run due to suboptimal performance
//! A [subsequent approach][attempt 2] tried to avoid the costly computation by limiting itself to
//! within individual basic blocks, requiring a walk across the entire block for every assignment