added 'using Contracts' to all Unit tests