all pathes of reachabilitygraph for probability calculation