Tidak akan pernah ada algoritme untuk menemukan semua bug dalam kontrak