Symbol: solver_findproblemrule