Assertion list
original source code (subgroup of source code ) → ReceivesAction
Results from Ascent++: 1
original source code → ReceivesAction → based on restructured data flow… 0.68