[plt-scheme] [redex] fresh-clauses

Hi,

Let me confirm: 
Two separate fresh-clauses in a reduction-case may generate same variables?

E.g.

(--> (x ...) (0 x_0 ... x_1 ...)
  (fresh ((x_0 ...) (x ...)))
  (fresh ((x_1 ...) (x ...))))


Can I use fresh-clause, rather than term-let and variables-not-in,
to generate fresh variables x_0 ... x_1 ...?


Best,
Keiko