Nunca habrá un algoritmo para encontrar todos los errores en un contrato