let creating_context_element (raw_context_unifier: raw_context_unifier) : Context.element =
  let most_recent =
    Array.fold_left
      (fun acc context_partner ->
         match acc with
           | Some best when
               compare best.Context.el_id context_partner.cp_element.Context.el_id >= 0 ->
               acc

           | _ ->
               Some context_partner.cp_element
      )
      None
      raw_context_unifier.rcu_context_partners
  in
    match most_recent with
      | None ->
          failwith "Context_unifier.creating_context_element"

      | Some element ->
          element