Lts::printAlphabet() in lexycographic order
labels: first step towards aggregation
graphvizOutput: label aggregation implemented