#77 cleaned up SchedulableSemaphore