Assert: visibility of counter property