toDot(重複含む)
通らないcofact testを追加