Improve Tseitin generator from O(VE) to O(E)

This should change variable names but not the order in DIMACS format.