Added contracts

Added code contracts to the countdown timer