,---> then-block ---,
                        / T                   \
pre ---> expression ---+                       +---> post
                        \ F                   /
                         `---> else-block ---'