Write a predicate that tests if a given list of integers, zs, is a possible interleaving of two other lists, xs and ys.