add rename-vertex!