Graph_AdjacencyListBased.hasEdge() is a new useful public function.