let mem () = { mem = M.mem () ; vars = Xmap.empty ; formals = Lmap.empty}