[CL] PS about rewrite rules

[John F. Sowa]

And I'm also using the good old gensym()
function, which is guaranteed to generate
a new name each time it is invoked (so it
is not really a function).

I need it to generate names that are guaranteed
to be different from any other names in the
current text.  In pure graphs, names are not
used to show connections, but they are needed
to translate CGs to linear forms (including
CGIF, which is linear).

John