final boolean shouldPerform(OPT_Options options) {
public final boolean shouldPerform(OPT_Options options) {
  final boolean shouldPerform(OPT_Options options) {    // only perform if the dominators were successfully computed and    // one of the following options are set.    return  options.SSA || options.PRINT_DOMINATORS;  }