How to identify the end of a branch in the symbolic execution in clang?

(Resending with the correct Clang list CCed.)