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