[plt-scheme] [redex] fresh-clauses

So,

Here is a test case:

#lang scheme
(require redex)

(define-language lyre 
  (x variable))
  
(define red  
  (reduction-relation 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 bug-report. 

Keiko