containsChecksForInferredStatementsWhenAssertionIsInferred | 2 ms | Passed |
containsChecksForNonInferredStatementsOnlyWhenAssertionIsNotInferred | 2 ms | Passed |
findUsesExplicitLoaderForNonInferredAssertionsAndInferredLoaderForInferredAssertions | 3 ms | Passed |
isInferredChecksWhetherInferredLoaderContainsAndAssertedDoesNotContainSpecifiedAxiom | 4 ms | Passed |
isInferredReturnsFalseWhenBothExplicitAndInferredLoadersContainSpecifiedAxiom | 2 ms | Passed |