AssertionRemover.exec(jprogram);
}
// ROCKET reapply changes when upgrading
final LoggerOptimiser loggerOptimiser = this.getLoggerOptimiser(jprogram, propertyOracle, logger);
loggerOptimiser.execute();
// Resolve all rebinds through GWT.create().
ReplaceRebinds.exec(jprogram);
if (options.isValidateOnly()) {