An Example of the U-method
(a-part)
a/1,reset {UIO(1))
a/1,a/0,/a/1,reset {UIO(2))
b/1,b/1,a/1,reset {UIO(3))
(b-part)
a/1,a/0/a/1,reset {Check T6}
b/1,b,1,a/1,reset {Check T1}
a/1,b/1,b/1,a/1,reset {Check T3}
a/1,b/1,a/0,a/0,a/1,reset {Check T2}
b/1,a/0,a/0,a/1/,reset {Check T4}
b/1,a/0,a/0,a/1 {Check T5}