Thoroughly investigate and test branch-following for multi path branching

[troelsfr]

The current approach may not work on multi path branches (conditional) as we may accidentally add the final path (contains qubit release) and we cannot make assumptions since optimisation may have rearranged everything. In this case, we should revert to the order they appear in the function.