Control flow

A crucial part in any imperative program is to control the flow of execution. Acton supports a number of different constructs for this: