Before dealing with tail call (proc)
Currently, ReturnIns is inserted during stage of Instruction.
before closure conversion