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