Report question

Question: Code contracts, forall and custom enumerable