counting_rule_holds     Verify that the counting rule CR(r,1) holds
