Reshuffle command, which permutes clauses, variable, polarities.