let mem_at env clab =
      try List.assoc clab env.states
      with Not_found ->
        debug3 "[caveat:new_mem] for %a@." Clabels.pretty clab;
        let m =  { label = clab;
                   variables = Varinfo.Hashtbl.create 10;
                 } in
        env.states <- (clab,m)::env.states ;
        m