Returns a list containing only elements where the pair of it and its successor matches the given predicate. The last element is always included.