Si se cargó un módulo y luego se modificó de manera que no chequea, las declaraciones igualmente quedan en la lista

[manugunther]

Si escribimos un módulo y lo validamos, se cargan las declaraciones en la lista. Si luego borramos todo el contenido del módulo y ponemos algo que no chequee, en la lista de declaraciones siguen estando las que se cargaron anteriormente (y no deberían estar).

[alexgadea]

Solucionado :D