Added tests for mutual exclusion