assertion checker

Програма верифікації

верифікатор умов