method vexpr exp =
    match exp.enode with
    | AddrOf lv | StartOf lv ->
        let deps,_loc =
          !Value.lval_to_loc_with_deps
            ~with_alarms:CilE.warn_none_mode
            ~deps:Zone.bottom
            (Kstmt (out_some self#current_stmt))
            lv
        in
        let froms = self#stmt_froms in
        let deps_f = Lmap_bitwise.From_Model.find froms deps in
        self#join deps_f;
        Format.printf "AddrOf: deps %a deps_f %a@."
          Zone.pretty deps
          Zone.pretty deps_f;
        SkipChildren
    | _ -> DoChildren