[SMTCOMP] a question on the benchmark scrambler

[Alberto Griggio]

Hello all, 
I just downloaded and had a look at the benchmark scrambler for the 
competiton. I'm not a scheme expert, but from what I understand both 
from the source code and the output it generates, it seems that the 
scrambler doesn't permute equalities. Am I right or not? And if I'm 
right, is there any particular reason why this is not done? Not that 
I'm saying that this must (or should) be done, it is more a 
curiosity...

Thanks, and regards,
Alberto