Code Contract aware/friendly interfaces/wrappers for common framework classes.