>>515
最近はSMTソルバを使ってテストやテストケースを作るのが流行ってるよ
使える使えないはともかくできるできないでいえばできる例は実在する

>>517
sum(0,0)もdiv(0,0)も型は同じだけど別モノに思えるけど？
まぁ同じ同じじゃないは主観だけどね