IF   a 
THEN b 
ELSE c 
FI := IF   d 
      THEN e 
      ELSE f 
      FI