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