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