Section Header
  
  
    + name    := BAD_REFLEX;
  
    - comment := "Facility, but it's not in prototype spirit.";
Section Public
  
  
  
 Conditional.
  
  
  
    - if cond:BOOLEAN then true_block:BLOCK :BOOLEAN <-
  
  
    - if cond:BOOLEAN then true_block:BLOCK else false_block:BLOCK <-
    
  
  
 Loop.
  
  
  
    - while cond:BLOCK do body:BLOCK <-
    
  
    - do body:BLOCK while cond:BLOCK <-
    
  
    - repeat body:BLOCK until cond:BLOCK <-