Added indexOfSlice to SafeSeqsConstraint, and use it in Every and sIndexOfSlice in SafeSeqs.