method vexpr exp =
    match exp.enode with
    | AddrOf _lv | StartOf _lv ->
        SkipChildren (* TODO: do better stuff *)
    | _ -> DoChildren