Modified CarSeq to use the now predefined SlidingSum constraint