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