DebugGraph: improvements on debuggraph_rel