static void AssumeInvariantTrue()
{
foreach (Host h in new ArrayList())
{
Contract.Assume(h != null);
ContractHelpers.AssumeInvariant(h);
Contract.Assert(h.Name != null);
}
}