let create_context_partner element subst empty_remainder =
  {
    cp_element = element;
    cp_partial_context_unifier = subst;
    cp_empty_remainder = empty_remainder;
  }