let
callers =
SGraph
.succ