let generation_of_candidate (context_partners: context_partners) : int =
let max_generation =
Array.fold_left
(fun acc context_partner ->
Tools.max_int acc context_partner.cp_element.Context.el_generation
)
0
context_partners
in
max_generation + 1