cz.cvut.kbss.ontodriver.jena.MainAxiomLoaderTest.containsChecksForInferredStatementsWhenAssertionIsInferred (from MainAxiomLoaderTest)