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