ObjectInvariant will be added after last fild if constructor is missing.

Related Work Items: #10