For statement may have empty parts

[matozoid]

Don't need flows for parts that don't exist.

[matozoid]

It's best to unroll the condition and initialization lists, make flow nodes for all of them. This will automatically handle empty parts.

[matozoid]

Done, but the choice is optional too. To do.