sk-002-if-vs-assert

blockly.xml

<xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="10" y="30"><statement name="BaseContractType"><block type="WhenContractType" id="2KnDM7/hth~Dc6xTELmn"><field name="timeout">50</field><statement name="case"><block type="DepositActionType" id="sf0mWUFl#g6W:54{qWMt"><value name="from_party"><block type="RolePartyType" id="Z??822w;R8}5k$iK(n0r"><field name="role">friend1</field></block></value><value name="value"><block type="ConstantValueType" id="w3HPN_7FVXMDZPdDvCpX"><field name="constant">500</field></block></value><value name="token"><block type="AdaTokenType" id="Ren4sDV)ig/:;Xrky`M2"/></value><value name="party"><block type="RolePartyType" id="^~OF]QpwNNcb;{quE:^8"><field name="role">shared</field></block></value><statement name="contract"><block type="WhenContractType" id="3M6JTCQdN|_jXq7LD{e5"><field name="timeout">100</field><statement name="case"><block type="DepositActionType" id="b7B8npeV@Q:HgWFE}MzE"><value name="from_party"><block type="RolePartyType" id="CdAANSh!}@H(X60yOjSa"><field name="role">friend2</field></block></value><value name="value"><block type="ConstantValueType" id="6KI^[;Y#IpQDQkptmqEL"><field name="constant">500</field></block></value><value name="token"><block type="AdaTokenType" id="i!XX0l)?T^L:){S!y)hi"/></value><value name="party"><block type="RolePartyType" id="$(m6B]lKY(@vX_B%L=I?"><field name="role">shared</field></block></value><statement name="contract"><block type="PayContractType" id="xSrfKhA9e/qrTso9!/m#"><value name="payee"><block type="PartyPayeeType" id="hCg9qzLUdhZl68eTE_*u"><value name="party"><block type="RolePartyType" id="@)^Y3j]7@T9=85-[4Vr-"><field name="role">friend3</field></block></value></block></value><value name="value"><block type="AvailableMoneyValueType" id="Jk2d_Z;?H^~k,S?t)$Tn"><value name="token"><block type="AdaTokenType" id="T$4-O%JP%%Zm9te+)LUv"/></value><value name="party"><block type="RolePartyType" id="q-RCjBcE?QzGcDwr{KTL"><field name="role">shared</field></block></value></block></value><value name="token"><block type="AdaTokenType" id=";nhV@0I(0kLE?I0YSPs9"/></value><value name="party"><block type="RolePartyType" id="/kX1yj/:|p2hWtk+sjso"><field name="role">shared</field></block></value><statement name="contract"><block type="CloseContractType" id="I!~k85e]I.tx{dhJV.*n"/></statement></block></statement></block></statement><statement name="contract"><block type="CloseContractType" id="I1rHX=Oaz$,b7^SO;,+^"/></statement></block></statement></block></statement><statement name="contract"><block type="CloseContractType" id="Kyla%Qu}kiZt*kU1WNx#"/></statement></block></statement></block></xml>

playground.marlowe

When
    [Case
        (Deposit
            (Role "shared")
            (Role "friend1")
            (Token "" "")
            (Constant 500)
        )
        (When
            [Case
                (Deposit
                    (Role "shared")
                    (Role "friend2")
                    (Token "" "")
                    (Constant 500)
                )
                (Pay
                    (Role "shared")
                    (Party (Role "friend3"))
                    (Token "" "")
                    (AvailableMoney
                        (Role "shared")
                        (Token "" "")
                    )
                    Close 
                )]
            100 Close 
        )]
    50 Close 

playground.marlowe.json

{}