Linking bugfix

Now no ConditionalJump will be generated after returns.

Validator exception, but I thin the reason of that is the multiple
returns.