optimisation pour empecher le dépassement de pile du parser de tseitin