Assertion list for term "based on restructured data flow graph".
Results from Ascent++: 1
original source code (subgroup of source code) → ReceivesAction → based on restructured data flow graph 0.68