@Test
public void testProofCompleteness() throws Exception {

	Assume.assumeFalse(TestUtils.ignore(manifest_.getInput(),
			ElkTestUtils.TEST_INPUT_LOCATION, IGNORE_COMPLETENESS_LIST));
	ProofTestUtils.proofCompletenessTest(prover_, query_,
			adapter_.getGoal(), adapter_, new OwlInternalJustifier(), true);
}