TeaLight Refactoring

Implement System.Diagnostics.Contracts