The problem in rab_solver has been identified, and fixed.