fix Issue 6453 - Allow multiple invariant per struct/class