Ir arreglando los últimos detalles en la generación del circuito.

[raticate]

Decidir qué condiciones de correctitud se verificarán efectivamente y revisar posibles errores.