method vexpr e = match e.enode with
    | AddrOf lv ->
        if isArrayType(typeOfLval lv) then
          ChangeDoChildrenPost (new_exp (StartOf lv), fun x -> x)
        else DoChildren
    | _ -> DoChildren