private void Invariant (){
	Debug.Assert(isEmpty ?
		list.NumberOfElements ==0:
		list.NumberPfElements >0 );
}

first line of every method and last line except the constructor
constructor only at the end

Invariant();
return a;