fix Issue 6453 - Allow multiple invariant per struct/class
Add test for the inner-defined symbol visibility confirming