containsChecksForInferredStatementsWhenAssertionIsInferred | 1 ms | Passed |
containsChecksForNonInferredStatementsOnlyWhenAssertionIsNotInferred | 3 ms | Passed |
findUsesExplicitLoaderForNonInferredAssertionsAndInferredLoaderForInferredAssertions | 1 ms | Passed |
isInferredChecksWhetherInferredLoaderContainsAndAssertedDoesNotContainSpecifiedAxiom | 1 ms | Passed |
isInferredReturnsFalseWhenBothExplicitAndInferredLoadersContainSpecifiedAxiom | 1 ms | Passed |