Enable Code Contracts on Infrastructure Layer