*** SWAP  timeout -->
Input: \f -> f [] == [] && (f [1] == [1]) && (f [2] == [2]) && (f [1,2] == [2,1]) && (f [1,5,3] == [3,5,1]) && (f [1,2,3,4] == [4,2,3,1])