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