Quick test of monotonic attribute of @Counted