We can do this whenever there is no unusual flow in the first branch, which I think shouldn't be too difficult to detect.