Symbol: solver_enablerule