object
  method apply_assert : Log.selected -> unit
  method apply_split_left : Log.choice_point -> Log.selected -> unit
  method apply_split_right : Log.selected -> unit
  method apply_split_unit : Log.selected -> unit
  method backtrack : unit
  method close : Log.raw_context_unifier -> unit
  method finalize : unit
  method incomplete : unit
  method jump : unit
end