fix typo in solver_addbestrules