let assert_partner = {
  cp_element = Context.assert_element;
  cp_partial_context_unifier = Some Subst.empty;
  cp_empty_remainder = true;
}