er zal nooit een algoritme zijn om alle bugs in een contract te vinden