停止性判定ツールはかなり進歩していると思いますが、合流性の判定はかなり難しそうというイメージがあります。

すっかり反応し忘れてましたが、同感です。
今時の合流性判定アルゴリズムってどんな感じなのでしょうね。