Passed

cz.cvut.kbss.jopa.test.integration.owlapi.RetrieveOperationsWithInheritanceTest.findLoadsSuperclassInstanceWhenRequestedAndClassAssertionIsPresent