void funcorddone(struct TreeOrderObserver *tob, struct TreeMolder *th, struct CLNodeSet *flips)
void funcorddone(struct TreeOrderObserver *tob, struct TreeMolder *tm, struct CLNodeSet *flips)
void funcorddone(struct TreeOrderObserver *tob, struct TreeMolder *th, struct CLNodeSet *flips){  printf("Score done to Or(T) = %f\n", getScoreScaledTM(th));//  printf("With flips set:\n");//  printCLNodeSet(flips);  writeDotFile(getCurTreeTM(th), getScoreTM(th), flips);  //writeDotFile(dotth, flips);}