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