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 YES May assertion 93 NO 104 NO 115 NO 126 NO Unspecified 137 YES 148 NO 159 YES 1610 YES 1711 YES May assertion 18 19