show an error if a guard of an if-statement is not a boolean term


Signed-off-by: marcel.dausend <marcel.dausend@uni-ulm.de>
reformatted ConditionalRulePlugin
-in addition to the last commit

Signed-off-by: marcel.dausend <marcel.dausend@uni-ulm.de>