* Catch and ignore (for now) return instructions in tranformed functions