let is_permanently_blocking (blocking: Context.element) (blocked: context_partners) : bool =
  Tools.array_exists
    (fun partner ->
       State.backtracking_depends_on
         partner.cp_element.Context.el_choice_point
         blocking.Context.el_choice_point
    )
    blocked