{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"//!"}]}
//! to traverse these constraints arising earlier in the CFG.
//! Edges can be bidirectional to encode invariant relationships, and loans can flow "back in time"
//!