SH::MetaVector< T > Node1 SH::MetaVector< T > + value + testInvariant() + MetaVector() + MetaVector() + ClassDef() Node2 SH::Meta   + testInvariant() + ~Meta() # Meta() # ClassDef() Node2->Node1 Node3 TNamed     Node3->Node2