Avances en DarwinistController

Se esbozó un algoritmo para variablizar y correr TACO hasta que no quede
más nada por variabilizar, donde habría que cortar.

Resta poder negar la postcondicion.