Fix Tseitin transformation