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