}
if( !unexpectedExplanations.isEmpty() ) {
sw.getBuffer().append( "Unexpected:\n" );
renderer.render( axiom, unexpectedExplanations );
}
renderer.endRendering();
log.severe( "Error in explanation: " + sw );
org.junit.Assert.fail( "Error in explanation, see the log file for details" );
}