Microsoft Code Contracts for Castle Windsor