Added fast access to transitions labeled with an element within states