public @interface DeepCopyState
State implementations that indicates that their copy operation is deep.
Copied states that use a deep copy can have their variable values safely modified without affecting the values
of the state from which they were copied.