Symbol: solver_shrinkrules