Sonar

The semaphore mechanism should automatically detect when an other semaphore is outdated and so can/should be ignored