Renames CounterExample to the more descriptive RaceConditionExample.