ひとまず
node分離
getNode使用
ノードでcount保持
top関数化，元論文に忠実に
count is Integer
toDot(重複含む)
通らないcofact testを追加
fix: allseqs