Ukończono zarządzanie predykatami i konklujami (z wyjątkiem wczytywania z plików)