Alignment: added detection for the case that a block occurs multiple
times in the witness.