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