契約内のすべてのバグを見つけるアルゴリズムは決して存在しません