tseitin last symbol is now in an or clause