method vexpr e = match e.enode with Lval(Mem _, _) -> exp_ok := false; SkipChildren | _ -> DoChildren