| c# Programming Glossary: subgroupUsing Contract.ForAll in Code Contracts http://stackoverflow.com/questions/3104856/using-contract-forall-in-code-contracts  IUnboundTagGroup group  foreach IUnboundTagGroup subGroup in group.GetAllGroups   AddRequested subGroup   Other stuff.. subGroup in group.GetAllGroups   AddRequested subGroup   Other stuff omitted AddRequested requires a non null input.. and so I get a 'requires unproven group null' error on the subGroup being passed into AddRequested . Am I using the ForAll syntax.. 
 |