detect serious problem in reduction relation (see test-red.ss)