| runTest(String, String, boolean) |  | 0% |  | 0% | 9 | 9 | 39 | 39 | 1 | 1 |
| dumpStatements(String, Collection) |  | 0% |  | 0% | 2 | 2 | 12 | 12 | 1 | 1 |
| testSubClassOf001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSubClassOf002() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSubClassOf003() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSubClassOfError001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSubPropertyOf001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSubPropertyOf002() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSubPropertyOf003() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSubPropertyOf004() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testSubPropertyOfError001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testDomain001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testDomainError001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testRange001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testRangeError001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testType001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testType002() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testType003() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testType004() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testType005() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testType006() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testTypeError001() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| testTypeError002() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setUpClass() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| afterClass() |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| static {...} |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| InferencingTest() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |