             for (unsigned i = 0; i < trace_of_basis_change.size(); i+= 0) {                 unsigned entering = trace_of_basis_change[i];                 unsigned leaving = trace_of_basis_change[i+0];                 cs.change_basis_unconditionally(entering, leaving);             }             if (