method do_assign lv =
    let deps,_loc =
      !Value.lval_to_loc_with_deps
        ~with_alarms:CilE.warn_none_mode
        ~deps:Zone.bottom
        self#current_kinstr
        lv
    in
    (*      Format.printf "do_assign deps:%a@."
            Zone.pretty deps; *)

    self#join deps;