Table 6.

Final Iteration Levels

Code	Reachability set	Antecedent set	Intersection set	Level
F15	15	1,2,3,4,5,6,7,8,9,10,11,12,13, 14,15,16	15	I
F8	4,6,8,9,10,11,12,13,14	1,2,3,4,5,6,7,8,9,10,11,12,13, 14,16	4,6,8,9,10,11,12,13,14	II
F9	4, 8,9,10,13,14,16	1,2,3,4,5,6,7,8,9,10,11,12,13, 14,16	4, 8,9,10,13,14,16	II
F10	4,8,9,10,11,12,13,14,16	1,2,3,4,5,6,7,8,9,10,11,12,13, 14,16	4,8,9,10,11,12,13,14, 16	II
F13	8,9,10,11,12,13,14,16	1,2,3,4,5,6,7,8,9,10,11,12,13, 14,16	8,9,10,11,12,13, 14,16	II
F14	4,5,6,7,8,9,10, 13,14,16	1,2,3,4,5,6,7,8,9,10,11,12,13, 14,16	4,5,6,7,8,9,10,13, 14,16	II
F4	4,5,6,7,16	1,2,3,4,5,6,7,11,16	4,5,6,7,16	III
F12	6,11,12,16	1,2,3,5,,6,7,11,12,16	6,11,12,16	III
F16	2,3,4,5,6,7,11,12,16	1,2,3,4,5,6,7,11,12,16	2,3,4,5,6,7,11,12,16	III
F11	6,11	1,2,3,5,6,7,11	6,11	IV
F5	1,2,3,5,6,7	1,2,3,5,6,7	1,2,3,5,6,7	V
F6	5,6,7	1,2,3,5,6,7	5,6,7	V
F7	1,2,3,5,6,7	1,2,3,5,6,7	1,2,3,5,6,7	V
F1	1,2,3	1,2,3	1,2,3	VI
F2	1,2,3	1,2,3	1,2,3	VI
F3	1,2,3	1,2,3	1,2,3	VI