Corregido bug de recursividad, y arreglados algunos tests del analizador anterior.
Tests corregidos.
Modificación de valor por defecto para test básico.
"declared_in" implementado. Analizador aparentemente finalizado.