{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
                // Simplify `assume` of a known value: either a NOP or unreachable.
            for stmt in block.statements.iter_mut() {
                if let StatementKind::Intrinsic(box ref intrinsic) = stmt.kind