Fix control flow of for- and while-statements.

Conditions in for- and while-statements have now a outgoing edge to
the end of the loop. These edges are the only way to exit the loops.