[graph-tool] checking if an edge exist?