Edge labels are Objects instead of Strings. K-Tails uses this to format the method labels after the algorithm has finished.