Se saca la negacion de postcondicion y se hace run

Tambien se corrigió el procesamiento del OpenJMLController para que solo
procese para secuencialidad lo que corresponde.
Ademas, se cambio la condicion del ciclo... ahora sale cuando da UNSAT,
porque con la postcondicion sin negar, significa que el codigo no
tiene fallas. Pero como hace un run, con ejecutar el codigo 1 vez sin
errores, si da SAT, no sigue buscando valuaciones para que de UNSAT.
Tampoco se si el runtime exception deberia ser true o false en el
contrato.
Correcciones en procesamiento secuencial

Se variabilizan las lineas en el secuencial que matchean con una mutada
del original, pero en conjunto, con variables distintas.

Ademas, se saco el if para matchear la estructura y asigno en su lugar
los parametros con tra los fixeados, y los campos de this con los
fixeados.

Se evalua Run, hasta que de SAT en Darwinist controller.

Falta bugfixear el procesamiento del output de RAC para clasificar los
metodos fallados por contrato.
Se considera excepcion de falla de postcondicion

Aun no sale porque hay conflictos de librerias al correr RAC.