Function expr_mentions_any_addr

crates/kernel/src/tc.rs:1103–1108

Check whether an expression mentions any constant from a set of addresses.

(
  e: &KExpr<M>,
  addrs: &[Address],
)

        stack.push(ty);
        stack.push(body);
      },
      ExprData::Let(_, ty, val, body, _, _) => {
        stack.push(ty);
        stack.push(val);
        stack.push(body);
      },
      ExprData::Prj(id, _, val, _) => {
        if id.addr == *addr {
          return true;