如何对程序分支进行遍历？感谢！

假设有如下一段程序（其中func_X()代表一个或多个执行其他操作的函数）：func_A();
if (bXXX)
  func_B();
else
{
  if (bYYY)
    func_C();
  else
    func_D();
  func_E();
}如何分拆成这样的不包含分支的N个子程序(即分支路径的遍历):func_A();
func_B();
func_A();
func_C();
func_E();
func_A();
func_D();
func_E();我现在能想到的就是建个二叉树，然后进行遍历，请问还有没有更简单的办法？期待答案，非常非常感谢～