Symbol: solver_printproblemruleinfo