Implementado análisis semántico de los procedimientos