[graph-tool] UPDATE: Kernel died problem while calculating edge probability