Symbol: SolverRuleinfo