CALL + RET bitcode
Expand RET instruction