Graal : a transition's label now displays the connected nodes labels