Test for Synchronization
Some improvement on test cases and Synchronization.cs