>>512
> 「sum関数に0とnanを渡してnanを返すか？」みたいなテストはできない。

そうだね。0とnanを渡してnanを返すかどうかっていうのは
sum関数に限った話で、その他の関数ではそうなるとは限らない。

つまり自動生成できないわけだよ。