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