Remove USE_RULE_COUNTING.