We should have a pass at IR level to rewrite the code to allow only one exit block so that the epilogue only appears once for each function. Currently the compiler generates epilogue for each RET instruction.