Use constant for transition names
Use constant for graph names