let right_split_literals (choice_point: choice_point) : literal list = List.rev choice_point.cp_right_splits