Code contracts. Sikring af at IEnumerable<T> ikke indeholder null-værdier

Jeg sidder i .Net 4.0 og benytter code contracts.

Findes der en måde, hvorpå jeg kan Ensure at alle værdier i en returneret IEnumerable er forskellig fra null?

Pt. har jeg et problem, når jeg siger:

foreach(A a in b.AList)
{
  a.ToString();//Her siger diagnostics frameworket at jeg ikke har bevist at a ikke er null.
}

Jeg er bekendt med metoden Contracts.ForAll men kan ikke finde frem til en fungerende løsning.

Håber nogen herinde har en id´´e til hvordan dette kan løses :)

På forhånd tak.