パターンマッチの網羅性を検査できる言語はあるが、
だからと言って仕様で定められた分岐を網羅してるか否かまでは検査出来ないぞ
そこは分かって書いてるの？