// find invalid assertion statements
OperationAssertionAnalysis assertions = new OperationAssertionAnalysis(app, reachingDefinitions);
if (log.isDebugEnabled()) {
log.debug(app.toDot(reachingDefinitions, alias, assertions, hotspot_statements));
}
// End of intermediate creation. Notify diagnostics.
diagnostics.intermediateCompleted(new IntermediateCompletedEvent(app, liveness, alias, reachingDefinitions, assertions,
hotspot_statements));