let choice_point_equal (first: choice_point) (second: choice_point) : bool =
  first == second