ErrorContainer not using not working CodeContracts