Small changes in rab_solver.
Inserted randomization in rab_solver.
Fixed a bug in the move stack.
rand_log_elaboration has been updated.