private void CodeContractInvariants() { Contract.Invariant(Components != null); Contract.Invariant(Components.Length > 0); Contract.Invariant(Components.Length % 2 == 0); Contract.Invariant(Contract.ForAll(Components, x => x != null)); }