Provides helper methods for code using code contracts approach via Debug.Assert