Fixed not permited nested not_sync's bug

Updated example to support the claim