羽生さんは、詰みのあるなしを調べるのに便利と言ってた気はするけど、それ以上に使ってるかは、分からないですね。