let left_split_literal (choice_point: choice_point) : literal =
  choice_point.cp_split_literal