another tseitin performance enhancement