All functions

counting_rule_holds()

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