StateLabel

StateLabel[state]
gives the label (first argument) for the AtomicState state.
[an error occurred while processing this directive]