Assertion list for term "generated by the ic-dag graph generation algorithm".
Results from Ascent++: 1
graph → ReceivesAction → generated by the ic-dag graph generation algorithm 0.25