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