[emmanueloga_]

I think flow charts are a lot more useful when the granularity is more coarse: the boxes should represent functions, not the logic inside.

    compute thing -> predicate true ------> compute some other thing
        |         -> predicate false ->|
        \---------------loop-----------/

... etc ...