let get_id name env = 
  if List.mem_assoc name env then
    List.assoc name env, env
  else
    let id = make_id() in
      id, (name,id)::env