progress condition : wait-free population oblivious concode_field_sep AtomicReference<TreeSet<E>> ref concode_field_sep boolean add concode_elem_sep boolean addAll concode_elem_sep boolean remove
boolean function ( Object arg0 ) { return ref . get ( ) . contains ( arg0 ) ; }