public OPT_Simple (int level, boolean typeProp, boolean foldChecks) { this(level, typeProp, foldChecks, true);
public OPT_Simple () { this(1, true, true, true);
  public OPT_Simple (int level, boolean typeProp, boolean foldChecks) {    this(level, typeProp, foldChecks, true);  }