Symbol: solver_rulecmp