IF

With the statement IF THEN you can conditionally place text in result documents. The test, a formula of type BOOL, is evaluated. If it turns out to be TRUE the THEN part is executed. If it turns out to be FALSE the next part of the statement is executed.

Definition IF THEN statement:

IF The Test (* formula of type BOOL *) 
THEN 
   ITP-model part with declarations
ELIF The Test2 (* formula of type BOOL *) 
THEN 
   ITP-model part with declarations
ELSE 
   ITP-model part with declarations
FI 

ELSE as well as ELIF are optional parts. The ELIF part can be used zero, one or more times. The ELSE part can be used zero or one time. The ELIF parts must precede the ELSE part.