Remove test from module synchronize_proxy_test, to prevent the testsuite to fail as this test is not significant concerning the correctnes of the program, but rather significant concerning the other test above. It practically states that if this test passes, then the test before should fail if it is incorrect. Or in other words, if both tests pass with the same number of threads, then the tested property holds.