1This document explains why certain assertions were not tested. 2 3Assertions not listed here should be covered by the tests in this directory. 4 5 6Assertions Tested ? Remarks 71 NO 82 NO 93 NO 104 NO Unspecified 115 YES 126 YES 13 14