Dekker mutex added (but livelock detected)