Añadida funcionalidad para comprobar que los argumentos de la llamada al procedimiento concuerdan