not all loop statements are handled

[nofun97]

There are 6 loop statements that are handled, most are handled except alt, for, loop, and while.
One example:

App:
    /endpoint:
        GET:
            alt predicate:
                . <- POST /endpoint
        POST:
            return ok

generates

All those 4 loop statements generated similar diagram like the one above.

It should be more like