let make_choice k k' cstrs =
assert (k >= 0);
assert (k' > 0);
let vars = vars_of_simpl_adaptability_cstrs cstrs in
let nbones_env =
Word_var_set.fold
(fun c_n acc ->
Word_var_map.add c_n (choose_nbones c_n cstrs k k') acc)
vars Word_var_map.empty
in
{ k = k;
k' = k';
nbones_env = nbones_env; }