========================================== reduce in TEST : !(((empty -> p), (p -> empty))) . rewrites: 355 in 25ms cpu (26ms real) (13655 rewrites/second) result State: [empty -> empty,1] Bye.