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