Visualize call dependencies with RVS

RVS lets you view and explore call dependencies in your code, making it easier to understand and verify it.