Inside your loop body write the following assertions.

assert seqa == seqa[..i] + seqa[i..];