Added lastIndexOf to SafeSeqsConstraint, and use it in Every and sLastIndexOf in SafeSeqs.