Symbol: solver_disablerule