With the attached patch I propose to add a new function to the "collections" module. It is meant to be used for determining whether a given subsequence is part of a particular sequence (with respect to the ordering of the subsequence). 

Doing this in pure Python (using the CPython interpreter) is relatively slow. So I did the implementation in C.