Ooops. forgot to uncomment kill_var in eliminate_ret_var.
Ooops. forgot to uncomment kill_var in eliminate_ret_var.

MatkoBotincan/corestar-old,seplogic/jstar,seplogic/jstar,septract/jstar-old,septract/jstar-old,seplogic/jstar