fixed #90: rename_tokens() works now, if the current graph is empty