Debugging abd some fixes in rab_solver.c, stil work in progress ...