removed redundant branches

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8392 8c9fc860-2736-0410-a75d-ab315db34111

source/FoxIntermediateBackend.Mod

@@ -2098,6 +2098,7 @@ TYPE
 				END;
 			|SyntaxTree.BooleanValue DO
 				IF reason = x.value THEN BrL(label) END;
+				RETURN;
 			ELSE (* with *)
 			END;
 			(* default case: evaluate and compare result *)