A new range containing only elements x in range for which predicate(x) returns true.
See Implementation