let fprint_choice ff choice = Format.fprintf ff "@[%a@]" (fprint_list "@\n" fprint_choice_c_n) (Word_var_map.bindings choice.nbones_env)