let iter f space = 
  Ihmap.iter 
    (fun id idx -> 
       let name = match idx with
         | Base -> fst id
         | Idx k -> Printf.sprintf "%s_%d" (fst id) k
         | Link s -> s
       in f id name)
    space.indices