}
hotspot_statements.add(stm);
}
// find invalid assertion statements
OperationAssertionAnalysis assertions = new OperationAssertionAnalysis(app, reachingDefinitions);
if (log.isDebugEnabled()) {
log.debug(app.toDot(reachingDefinitions, alias, assertions, hotspot_statements));
}