Añadida funcionalidad para comprobar que se ha declarado el procedimiento