UAdditionalExceptions unit: AssertCondition procedure added