Added support for enumerable elements in state history

Change-Id: I256f58816117e6c3bf62958d8d29957109f40cff
Signed-off-by: mstegmaier <michael-1.stegmaier@uni-ulm.de>