let get_id space_registry =
  try
    Counter.next space_registry.counter
  with
    | Counter.OVERFLOW ->
        raise (Const.NO_SOLUTION "Context_unifier_space.create_space: context unifier space id overflow")