let
add_array_force cube v trie = add_force (
Array
.to_list cube) v trie