log.debug(r.toString() + "Hotspots: " + hs_nt);
}
// Approximate grammar
log.info("Cutting operation cycles...");
r.approximateOperationCycles();
log.info("Performing regular approximation...");
r.approximateNonLinear(hs_nt);
if (log.isDebugEnabled()) {
log.debug(r.toString() + "Hotspots: " + hs_nt);
}