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 <-