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