if (options.getOptLevel() < 2) return false; return options.UNROLL_LOG >= 1;
return ((options.getOptLevel() >= 2) && (options.UNROLL_LOG >= 1) && (options.LOOP_VERSIONING == false));
  public boolean shouldPerform (OPT_Options options) {    if (options.getOptLevel() < 2) return false;    return options.UNROLL_LOG >= 1;  }