Cmputed the size of the stack (and optimized it) in rab_solver.