{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"//!"}]}
//! _b = _a // follows from the `assume`
//! assume(_a bitwise equal to _c) // follows from having the same VnIndex
//! ```