========================================== reduce in TEST : ?(((empty -> p), (p -> q), (q -> empty))) . rewrites: 791 in 26ms cpu (27ms real) (29300 rewrites/second) result State: [ ("p",'_->_['empty.AtomMagma,'p.Atom],empty -> p), ("q",'_->_[ 'empty.AtomMagma,'q.Atom],empty -> q), ("q",'_->_['q.Atom, 'empty.AtomMagma],q -> empty), "p" : (empty -> p) |-> ((empty).AtomMagma -> (empty).AtomMagma)[p], "q" : ( empty -> q) |-> ((empty).AtomMagma -> (empty).AtomMagma)[q], "q" : (q -> empty) |-> empty, "q" : (q -> empty) |-> ([q]empty -> empty), empty -> empty, 3 ] Bye.