+ uintvector k(number_of_adds);
+
+ /* Rename indices in the static members of the product */
+ exvector expanded_seq_mod;
+ size_t j = 0;
+ exvector va;
+
+ for (size_t i=0; i<expanded_seq.size(); i++) {
+ if (i == positions_of_adds[j]) {
+ expanded_seq_mod.push_back(_ex1);
+ j++;
+ } else {
+ expanded_seq_mod.push_back(rename_dummy_indices_uniquely(va, expanded_seq[i], true));
+ }
+ }