added Contract.Ensures to IPosition
Contract.Ensures for DetectEvents