small optimization for solver_addupdaterule