(new TreeDM()).runHarness( args );
(new TreeDM()).runDiff( args );
  public static void main(String[] args) throws Exception {    // NOTE: When running mergecases, check that the parameters are set as follows:    // COPY_TRESHOLD = 0 (otherwise cases with copies won't work) (normal valule = 18)    //    (new TreeDM()).runHarness( args );  }