let fprint_choice_c_n ff (c_n, (nbones_c_n_u, nbones_c_n_v))= Format.fprintf ff "|%a.u|_1 = %i and |%a.v|_1 = %i" fprint_word_var c_n nbones_c_n_u fprint_word_var c_n nbones_c_n_v