Symbol: solver_addrpmrulesforweak