More tests for synchronized() {}