That was the second part of my answer: a graph on paper. Draw nodes of execution and represent the branch as two arrows coming from the node and heading to new nodes. Label the arrows with the predicates of the branch.
This is both definitely useful and definitely math.
This is both definitely useful and definitely math.