From: Keiko Nakata (keiko at kurims.kyotou.ac.jp) Date: Thu Jan 7 08:53:48 EST 2010 

So, Here is a test case: #lang scheme (require redex) (definelanguage lyre (x variable)) (define red (reductionrelation lyre (> (x ...) (5 x_0 ... x_1 ...) (fresh ((x_0 ...) (x ...))) (fresh ((x_1 ...) (x ...)))))) (define (run e) (traces red e)) (run `(x y)) I got (x y) > (5 x_0 x_1 x_1 x_2) I will later post a bugreport. Keiko
Posted on the users mailing list. 
