fix Issue 6453 - Allow multiple invariant per struct/class
Merge pull request #1978 from 9rnsr/multi_inv

Issue 6453 - Allow multiple invariant per struct/class