public static void PostCondition(bool condition){ if (!condition) throw new PostConditionException("PostCondition missed"); }