Generating code for multiple return branches.