Añadida funcionalidad para comprobar que no se iguala un procedimiento