Since Mutual Exclusion may fail here, meaning, >1 process may enter its Critical Section at any point of time, thus Progress and Bounded Waiting will anyways be satisfied (or, trivially satisfied).
I mean, we don’t need to have any special constructs for the semaphore in order to satisfy Progress and Bounded Waiting, primarily because any process can execute its Critical Section at any point of time.