Bugfixes to solve NullPointerException in forall expressions

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