Removed stack_print function from rab_solver.