let pp_id space fmt id =
  match indice space false id with
    | Base -> Format.pp_print_string fmt (fst id)
    | Idx k -> Format.fprintf fmt "%s_%d" (fst id) k
    | Link s -> Format.pp_print_string fmt s