Implemented a unique renamer for graphs
(...since we claim in the paper that this can be done)