rab_solver.c has been reverted up to the correct behavior.