{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! We traverse all assignments `x = rvalue` and operands.
//! For each SSA one, we compute a symbolic representation of values that are assigned to SSA