return options.INSERT_METHOD_COUNTERS_OPT; }
return VM_Controller.options.INSERT_METHOD_COUNTERS_OPT; }
  public final boolean shouldPerform(OPT_Options options) {     return options.INSERT_METHOD_COUNTERS_OPT;   }