Symbol: solver_addrpmrulesforsolvable