Свойство, доказывающее с блоком предположения

В этом примере показано, как выполнить доказательство свойства Simulink Design Verifier с помощью блока Proof Assumption.