I don't know what your definition of `branching' is, but it's not anything
I'm familiar with. In order to describe any version of Lisp as `not having
branches' one would have to define the two branches of `if' as `not
branches', and similarly for `cond'.
If an exception throw/catch isn't a `branch', I don't know what is.