Symbol: solver_addrule