Reintroduced ConditionalTerm as 'if' Term 'then' Term 'else' Term

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