никогда не будет алгоритма, который найдет все ошибки в контракте