{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // Clear the body to only contain a single `unreachable` statement.
            trace!("found unsatisfiable predicates");
            let bbs = body.basic_blocks.as_mut();