Bugfix and improved undefined identifier warning
Fixed a bug that caused an exception when dropping states.
Added support for warnings in conditional forall expressions

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