Symbol: solver_ruleinfo