Symbol: solver_findallproblemrules