Bugfix: while-statements should not be counted as possible return statements

It's not statically checked if a while-body is entered or not, so they should not be considered as a possibly returning statement.