Improved problem highlighting and fixed two bugs
Fixed bug causing missing states
Recovered hover functionality for value evaluation

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