public OPT_BranchOptimizations (int level, boolean mayReorderCode, boolean mayDuplicateCondBranches) { super(level); this.mayReorderCode = mayReorderCode; this.mayDuplicateCondBranches = mayDuplicateCondBranches; }
private OPT_BranchOptimizations () { }
  public OPT_BranchOptimizations (int level, boolean mayReorderCode, boolean mayDuplicateCondBranches) {    super(level);    this.mayReorderCode = mayReorderCode;    this.mayDuplicateCondBranches = mayDuplicateCondBranches;  }