Fixing variable renumbering
Don't "randomise" clause -- it's sorted anyway, a waste of time