Added keys to state diagrams in report