When combining multiple clauses into a procedure, they are connected via
the try_me_else, retry_me_else, trust_me or,
equivalently, the try, retry, trust
instructions (see sections 3 and 4).
Such a choice point is abstractly represented by an oval with
(left-to-right ordered) outgoing arrows:
If all sub-DAXes are just clauses, the following abbreviation is used: