A a1, a2; B b;
  a1.attach(b);
  a2.attach(b); // violates invariant a1