better locking in AttributedDestructuringPolicy