OPT_DominatorsPhase(boolean unfactor) { this.unfactor = unfactor;
public OPT_DominatorsPhase(boolean unfactor) { super(new Object[]{new Boolean(unfactor)}); this.unfactor = unfactor;
  OPT_DominatorsPhase(boolean unfactor) {    this.unfactor = unfactor;  }