[513375] Add computation edges to ReachabilityForest
2 files changed