let add_loc (v,loc) env = match env with
    EnvTopLevel (n,dlist) -> EnvTopLevel (n,((v,loc)::dlist))
  | EnvFrame (n,info,dlist,parent) -> EnvFrame (n,info,((v,loc)::dlist),parent)