Table 1: Polynomial representations for properties to be verified.

No.Precondition Expected consequent

 0 , ,   N/A
Cycle1N/A
Cycle2N/A
Cycle3N/A
Cycle4N/A
Cycle5N/A
Cycle6N/A
Cycle7N/A