small tseitin performance improvement