Nu va exista niciodată un algoritm care să găsească toate bug-urile dintr-un contract