nigdy nie będzie algorytmu, który znajdzie wszystkie błędy w kontrakcie