OPT_BranchOptimizationDriver(int level) { _level = level;
OPT_BranchOptimizationDriver(int level, boolean simplify) { this.level = level; this.simplify = simplify;
  OPT_BranchOptimizationDriver(int level) {    _level = level;  }