@Override
 void apply(CompilerOptions options, boolean value) {
   options.setLabelRenaming(value);
 }