add function for dettachement in the Synchronizer class