add a visitor for "synchronized" scopes