::= "Close" | "Pay" | "If" | "When" "[" { ","} "]" | "Let" | "Assert" | "(" ")" ::= "Case" | "MerkleizedCase" ::= "Deposit" | "Choice" "[" { ","} "]" | "Notify" | "(" ")" ::= "AvailableMoney" | "Constant" | "NegValue" | "AddValue" | "SubValue" | "MulValue" | "DivValue" | "ChoiceValue" | "TimeIntervalStart" | "TimeIntervalEnd" | "UseValue" | "Cond" | "(" ")" ::= "AndObs" | "OrObs" | "NotObs" | "ChoseSomething" | "ValueGE" | "ValueGT" | "ValueLT" | "ValueLE" | "ValueEQ" | "TrueObs" | "FalseObs" | "(" ")" ::= "Token" | "(" ")" ::= "Address" | "Role" | "(" ")" ::= "Account" | "Party" | "(" ")" ::= "ChoiceId" | "(" ")" ::= ::= "Bound" ::=