取る引数を間違えるといったい何を検証しているのかという問題にあたってしまう受け取ったにもかかわらずdont care項は仕方ないとして、とるべき引数をとっていなかったら関数y=f(x)、ここでfはダメージ式を検証できていないことになる