PRINCE: checkSeq() update