CNF variables produced by reshuffle.py have integer labels