Completion of a previous commit:
Bugfixes to solve NullPointerException in forall expressions

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