AggregateDeclaration.inv

Merged invariant calling all members of invs

class AggregateDeclaration
FuncDeclaration inv;
Suggestion Box / Bug Report