Thanks @JDevlieghere, very pleased with your feedback.
We believe the llvm-dva potential is the ability to present the logical view of the debug information and solve the situation that you describe.
If you want to try the tool on real cases, I am happy to help you with any issues on how to use it.