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