OPT_Simple () { typeProp = true; foldChecks = true; foldBranches = true;
public OPT_Simple (boolean typeProp, boolean foldChecks) { this.typeProp = typeProp; this.foldChecks = foldChecks; this.foldBranches = true;
  OPT_Simple () {    typeProp = true;    foldChecks = true;    foldBranches = true;  }