method vlval lv =
    let simplify (host,offs as lv) = match host with
      | Mem e -> mkMem e offs (* canonicalize *)
      | Var _ -> lv
    in ChangeDoChildrenPost(lv, simplify)