Init txs transactions type payment message dividend since 200000 txs m

1
2
3
4
Init :: txs:transactions(type=payment, message~="dividend", since=200000) & txs.map(tx=> tx.amount).sum >= ${totalToPay} => :: ContractSuccess
Init :: block(timestamp >= ${finishTime} => :: ContractFailed
ContractSuccess :: always => :: Finish
ContractFailed :: always => :: Finish