undef_pseudo
add_return(ep, bb_ret, stmt->ret, undef_pseudo());
pseudo_t undef_pseudo(void);
val = undef_pseudo();
return undef_pseudo();