Верификатор за прости свойства
Примерни свойства, които се проверяват:
- равенства за интегрални типове (x == 3, c == ‘A’)
- линейни неравенства (x > 3, 2y + 7 < 3z)
- съждителни логически операции (конюнкция, дизюнкция, отрицание) (b && !c)
Поддържат се обикновени променливи и масиви