ExprCall gets the call of an ExprStmt.

Break branches break out of a surrounding `for` loop.

Continue branches continue a surrounding `for` loop.

Exit exits the current program.

Goto branches jump to a label.

Panic panics the current program.

Regular branches not categorized as any of the above.

Return branches return from the current function.

DeviatingFuncs lists known control flow deviating function calls.

Args contains arguments common to early-return.

Branch stores the branch's information within an if-else statement.