4th Week HW Bank Loan in Marlow

Let
    "LoanAmount"
    (Constant 200000000)
    (Let
        "PaymentAmount"
        (Constant 100000000)
        (Let
            "NumberOfPayments"
            (DivValue
                (ConstantParam "LoanAmount")
                (ConstantParam "PaymentAmount")
            )
            (When
                [Case
                    (Deposit
                        (Role "Bank")
                        (Role "Bank")
                        (Token "" "")
                        (UseValue "LoanAmount")
                    )
                    (When
                        [Case
                            (Deposit
                                (Role "Bank")
                                (Role "Borrower")
                                (Token "" "")
                                (UseValue "PaymentAmount")
                            )
                            (When
                                [Case
                                    (Deposit
                                        (Role "Bank")
                                        (Role "Borrower")
                                        (Token "" "")
                                        (UseValue "PaymentAmount")
                                    )
                                    (Pay
                                        (Role "Bank")
                                        (Account (Role "Borrower"))
                                        (Token "" "")
                                        (UseValue "LoanAmount")
                                        Close 
                                    )]
                                (TimeParam "PaymentDeadline")
                                Close 
                            )]
                        (TimeParam "PaymentDeadline")
                        Close 
                    )]
                (TimeParam "DeadlineBankDeposit")
                Close 
            )
        )
    )