Symbol: solver_addbestrules