función para comprobación de procedures declarados hecha