let create_space_utility_inc (space: context_unifier_space) : (unit -> unit) =
  let f () =
    space.cus_utility := !(space.cus_utility) + 1
  in
    f