Change Contract.Assert to Debug.Assert