Corregido error en evaluador de If. Corregido error al agregar las declaraciones como hipotesis (se pisaban las hipotesis de las subpruebas y por eso no andaba la hipotesis inductiva)