========================================== reduce in TEST : !(((empty -> p, q), (p -> q), (q -> empty))) . rewrites: 1119 in 27ms cpu (27ms real) (39969 rewrites/second) result State: [empty -> empty,4] Bye.