let null_partner = { cp_element = Context.null_element; cp_partial_context_unifier = Some Subst.empty; cp_empty_remainder = true; }