public static void Ensure(bool assertion) { if (UseExceptions) { if (!assertion) throw new PostconditionException("Postcondition failed."); } else { Trace.Assert(assertion, "Postcondition failed."); } }