Сравнение dafny-bin-4.2.0 с dafny-bin-4.3.0

Спасибо!