SCCSEQ pre-debugging