Function VirtualCFG::mergePathsReversed