Condition statements

A condition statement is used to constraint a use case step.

The following format is used for condition statements

``IF'' condition ``THEN''

The condition need to hold for the step to be possible.

Notice that no subsequent step is executed when a use case step doesn't hold. The use case is simply abandoned, unless a step extension can be executed.