Removed Exception type from Contract.Requires.