let pbwords_of_iof_and_size_sol choice iof_and_size_sol =
  Word_var_map.mapi
    (fun c_n (nbones_c_n_u, nbones_c_n_v) ->
      build_pbword c_n nbones_c_n_u nbones_c_n_v iof_and_size_sol)
    choice.nbones_env