Symbol: solver_problemruleinfo2str