let
variable_name v =
(
UnionFind
.find v).name