Added lastIndexOfSlice to SafeSeqsConstraint, and use it in Every and sLastIndexOfSlice in SafeSeqs.