let create_literal_info literal literal_type choice_point context_unifier clause clause_vars
    context_literals clause_index utility explanation =
  {
    li_literal = literal;
    li_type = literal_type;
    li_choice_point = choice_point;
    li_context_unifier = context_unifier;
    li_clause = clause;
    li_clause_vars = clause_vars;
    li_clause_utility = utility;
    li_clause_index = clause_index;
    li_context_literals = context_literals;
    li_explanation = explanation;
  }