redex-test (racket): tests for "redex"
Keywords: main-tests|racket