{"ast_node_type":"variable","tokens":[{"end":70,"kind":"keyword","start":0,"text":"let"}]}
            let opaque = state.new_opaque(body.local_decls[local].ty);
        for local in body.args_iter().filter(|&local| ssa.is_ssa(local)) {
            state.assign(local, opaque);