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; }