count aspect of semaphore, 4 assertions