Under current GDB file, the program can works well.
But serveral bugs have already been found:
	1. Some replicated nodes( which have no TreeRoot of their own), are abstracted again with abs1. And then the TreeRoot of them is created wrongly.
	2. The name of replicated nodes( in abs3) are not standarlized and unique.