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