simple example

composer require php-deal/framewor

php src/demo.php

To make the contract fail simply change 50 to 200 in demo.php.