void erase_duplicate(population& pop) {
     pop.sort(opencog::size_tree_order<combo::vertex>());
     pop.unique();
 }