Test Subsequences Can Be Overlapped to Further Reduce the Test Sequence Length
For example, Test(T2) = [T2,UIO(1)] = [T2,T6,T8 ] =[a/b,a/f,z/b]
For example, Test(T6) = [T6,UIO(3)] = [T6,T8,T7 ] =[a/f,z/b,x/d]
Test(T2) and Test(T6) can be overlapped into [T2,T6,T8,T7] = [a/b,a/f,z/b,x/d]
UIO(1) = [a/f,z/b] or [c/d]