SH::Meta Node1 SH::Meta + testInvariant() + ~Meta() # Meta() # ClassDef() Node2 TNamed Node2->Node1