Fix ControlFlowVisitor bug

[skuzzle]

The following code fragment would not have been marked illegal by the current ControlFlowVisitor though there is no return in the else branch:

String foo(Bool cond):
    if cond:
        return "a"