Avances generales

-Bugfixes varios.
-Se corrigio el variabilizador, se lo mejoro y se identifican las lineas
de mutacion para llevarlo a cabo.
-Se implemento un negador de post
condicion.

Proximo paso, cablear el input para taco.