Mit Contract.ForAll in Code-Verträgen

Okay, ich habe noch eine andere Frage zu Code Contracts. Ich habe einen Vertrag über eine Schnittstellenmethode, die so aussieht (andere Methoden wurden aus Gründen der Übersichtlichkeit weggelassen): [ContractClassFor(typeof(IUnboundTagGroup))] ...