Added a processing step which transforms set-goto-return to equivalent, but much simpler return instructions. This helps providing the type assigner with code that doesn't break it.