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