pragma Assertion_Policy (Post'Class => Ignore);
