Dodano sprawdzanie mozliwosci rezolucji klauzul