Hello,
The logic for merging dangling tails appears to be different from that for dangling heads. For example, it looks like tails can be merged to a non-reference path while heads cannot. Is there a reason why these 2 cases are treated differently?
Thanks!