Branching statements are use to jump from a step in a use
case to another step.
A branching statement has the form
``GOTO'' [``STEP''] step_reference
Branching statements can only appear as last in a procedure.
- A step_reference is a number or a label assigned to a
step within a use case.