Symbol: solver_addupdaterule