Removed most of the warnings and Code Contracts properties