Added the game server contract.

@bsoetaer 
Yeah, it may be better as a postcondition.