Little performance improvement in Tseitin conversion