let build_sufficient_size_cstrs choice =
  let size_cstrs =
    Word_var_map.fold
      (fun c_n nbones_c_n acc ->
        build_sufficient_size_cstr c_n nbones_c_n :: acc)
      choice.nbones_env []
  in
  List.rev size_cstrs