Nada
Experiments with Code Contracts

- New target in Narvalo.proj to perform code contract analysis
- Bugfix: Require contained two non void methods which defeat the
purpose CodeContractValidator attribute